<center>
<div id="menu">
<ul>
<li><a href="search.php"><?php echo _("Recherche"); ?></a></li>
<li><a href="admin.php"><?php echo _("Administration"); ?></a></li>
<?php
// Search for additional menus in contrib dir
$contribDir = getBaseDir()."/contrib/";
$dh = @opendir($contribDir);
if ($dh !== FALSE) {
	while (($file = readdir($dh)) !== false) {
		// Ignore hidden files starting with .
		if (strpos($file, ".") === 0)
			continue;
		// Ignore non directories
		if (!is_dir($contribDir.$file))
			continue;
		echo '<li><a href="contrib/'.$file.'/index.php">'._($file).'</a></li>';
	}
	closedir($dh);
}
?>
</ul>
</div>
</center>

